Weighted propositional configuration logics: A specification language for architectures with quantitative features
نویسندگان
چکیده
We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our is intended to serve as specification language for software architectures with quantitative features. prove an efficient construction of full normal forms decidability equivalence formulas in this logic. illustrate the motivation work by describing well-known equipped characteristics using our
منابع مشابه
On Weighted Configuration Logics
We introduce and investigate a weighted propositional configuration logic over a commutative semiring. Our logic, which is proved to be sound and complete, is intended to serve as a specification language for software architectures with quantitative features. We extend the weighted configuration logic to its first-order level and succeed in describing architecture styles equipped with quantitat...
متن کاملA unifying survey on weighted logics and weighted automata - Core weighted logic: minimal and versatile specification of quantitative properties
Logical formalisms equivalent to weighted automata have been the topic of numerous research papers in the recent years. It started with the seminal result by Droste and Gastin on weighted logics over semirings for words. It has been extended in two dimensions by many authors. First, the weight domain has been extended to valuation monoids, valuation structures, etc., to capture more quantitativ...
متن کاملConfiguration specification using a system structure language
The emergence of distributed systems technology has enabled the development and deployment of large-scale computing systems distributed over a local or a wide area. Such systems include both hardware and software components communicating over a network. The size and complexity of such systems means that evolution and management is a difficult task. The ability to re-configure such systems in re...
متن کاملPCL: A configuration language for modelling evolving system architectures
The paper describes a configuration language called PCL which has been designed to describe the architecture of multiple versions of computer-based systems. PCL is compared with other configuration languages and its features are illustrated by example. The features of PCL which are discussed here are its ability to model hardware and software in an integrated way, its provision of multiple stru...
متن کاملSpatial Reasoning with Propositional Logics
This paper is a slightly revised version of a paper that appeared in the 4th Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufma nn, 1994. Brandon Bennett Division of AI School of Computer Studies University of Leeds Leeds LS2 9JT, England [email protected] Abstract I present a method for reasoning about spatial relationships on the basis of entailments in propositional lo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information & Computation
سال: 2022
ISSN: ['0890-5401', '1090-2651']
DOI: https://doi.org/10.1016/j.ic.2020.104647